23 research outputs found
A Service-Based Component Model: Formalism, Analysis and Mechanization
Get PDFComponent-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The objective of our work is to provide the designer of components-based systems with the methods to assist his/her use of the components. In particular, the current work adresses the composability of components and their services. A component model is presented, based on services. An associated simple but expressive formalism is introduced; it describes the services as extended LTS and their structuring as components. The composition of components is mainly based on service composition and encapsulation. The composability of component is defined from the composability of services. To ensure the correctness of component composition, we check that an assembly is possible via the checking of the composabiblity of the linked services, and their behavioral compatibility. In order to mechanize our approach, the services and the components are translated into the MEC and LOTOS formalism. Finally the MEC and LOTOS CADP toolbox is used to perform experiments
Conception de base de données : la méthode Niam et son symbolisme
No full textSommaire du numéro :http://archive-edutice.ccsd.cnrs.fr/edutice-00000845La méthode NIAM (Nijssen Information Analysis Method) connue aussi sous le nom de méthode I. A. permet de construire un schéma conceptuel de base de données. Elle utilise un modèle relationnel dit "binaire". Elle a fait l'objet d'une normalisation par l'ISO en 1983. Dans ce court article nous en donnerons une présentation à partir d'un exemple. Le principe de la méthode se résume ainsi : "exprimer ce que l'on veut dire à l'aide de phrases simples, c'est-à-dire indécomposables sans perte d'information". Souvenons-nous de nos premières rédactions et du conseil de nos enseignants du primaire : lorsqu'on n'arrive pas à exprimer ses idées par des phrases dont... on n'arrive pas à terminer la rédaction, la meilleure solution c'est de faire un ensemble de phrases de la forme : sujet, verbe, complément. C'est ce que l'on fait avec NIAM.La méthode et le formalisme NIAM peuvent être utilisés dans différentes matières d'enseignement. Des entreprises l'utilisent pour rédiger des brochures techniques
AIDE A LA VALIDATION PAR PARAPHRASAGE DE SPECIFICATIONS FORMELLES B
No full textNANTES-BU Sciences (441092104) / SudocSudocFranceF
Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification
No full textNational audienceno abstrac
